Buy Used and New Manfred Broy Books

Informatik. Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen (German Edition)

by Manfred Broy

ISBN 13: 9783540632344

Format: Paperback (488 pages)
Publisher: Springer
Published: 09 Jun 1997

Save for later

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science)

by Manfred Broy,Stefan J??hnichen

ISBN 13: 9783540605898

Format: Paperback (468 pages)
Publisher: Springer
Published: 08 Nov 1995

Save for later

Methods of Programming: Selected Papers on the CIP-Project: 544 (Lecture Notes in Computer Science)

by Manfred Broy,Martin Wirsing

ISBN 13: 9783540545767

Format: Paperback (288 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings: 735 (Lecture Notes in Computer Science)

by Manfred Broy,Dines Bjorner,Igor V. Pottosin

ISBN 13: 9783540573166

Format: Paperback (452 pages)
Publisher: Springer
Published: 05 Oct 1993

Save for later

Software Pioneers: Contributions to Software Engineering

by Manfred Broy, Ernst Denert

ISBN 13: 9783642639708

Format: Paperback (732 pages)
Publisher: Springer
Published: 13 Apr 2014

Save for later

Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis

by Manfred Broy,Alexander Malkis

ISBN 13: 9783658263010

Format: Paperback (468 pages)
Publisher: Springer Vieweg
Published: 21 Jul 2019

Save for later

Formal Systems Specification: The RPC-Memory Specification Case Study: 1169 (Lecture Notes in Computer Science)

by Manfred Broy,Stephan Merz,Katharina Spies

ISBN 13: 9783540619840

Format: Paperback (572 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Program Design Calculi: 118 (Nato ASI Subseries F:)

by Manfred Broy

ISBN 13: 9783642081644

Format: Paperback (424 pages)
Publisher: Springer Berlin Heidelberg
Published: 19 Feb 2010

Save for later

Mathematical Methods in Program Development: 158 (Nato ASI Subseries F:)

by Manfred Broy

ISBN 13: 9783642645884

Format: Paperback (552 pages)
Publisher: Springer-Verlag
Published: 01 Jan 1997

Save for later

Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

by Manfred Broy, Ketil Stølen

ISBN 13: 9781461265184

Format: Paperback (368 pages)
Publisher: Springer
Published: 27 Apr 2001

Save for later

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

by Klaus Pohl,Harald Hönninger,Reinhold Achatz,Manfred Broy

ISBN 13: 9783642439926

Format: Paperback (316 pages)
Publisher: Springer
Published: 14 Dec 2014

Save for later

Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, ... 2890 (Lecture Notes in Computer Science)

by Manfred Broy,Alexandre V. Zamulin

ISBN 13: 9783540208136

Format: Illustrated (600 pages)
Publisher: Springer
Published: 05 Mar 2004

Save for later